miniOS.c void irqHandler(void)

{

if(ICIP & (1 << 27)) != 0)

{

OSSR = OSSR_M1;

OSMR1 = OSCR + 3686400;

scheduler();

}

}